The classical theory of semantic information (ESI), as formulated by Bar-Hillel and Carnap in 1952, does not give a satisfactory account of the problem of what information, if any, analytically and/or logically true sentences have to offer. According to ESI, analytically true sentences lack informational content, and any two analytically equivalent sentences convey the same piece of information. This problem is connected with Cohen and Nagel's paradox of inference: Since the conclusion of a valid argument is contained in the premises, (...) it fails to provide any novel information. Again, ESI does not give a satisfactory account of the paradox. In this paper I propose a solution based on the distinction between empirical information and analytic information. Declarative sentences are informative due to their meanings. I construe meanings as structured hyperintensions, modelled in Transparent Intensional Logic as so-called constructions. These are abstract, algorithmically structured procedures whose constituents are sub-procedures. My main thesis is that constructions are the vehicles of information. Hence, although analytically true sentences provide no empirical information about the state of the world, they convey analytic information, in the shape of constructions prescribing how to arrive at the truths in question. Moreover, even though analytically equivalent sentences have equal empirical content, their analytic content may be different. Finally, though the empirical content of the conclusion of a valid argument is contained in the premises, its analytic content may be different from the analytic content of the premises and thus convey a new piece of information. (shrink)

This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode. Moreover, procedures are not (...) mere aggregates of their parts; rather, procedural constituents mutually interact. As for the second point, there is no universal criterion of the structural isomorphism of meanings, hence of co-hyperintensionality, hence of synonymy for every kind of language. The positive result I present is an ordered set of rigorously defined criteria of fine-grained individuation in terms of the structure of procedures. Hence procedural semantics provides a solution to the problem of the granularity of co-hyperintensionality. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

The topic of this special issue of Synthese is hyperintensionality. This introduction offers a brief survey of the very notion of hyperintensionality followed by a summary of each of the papers in this collection. The papers are foundational studies of hyperintensionality accompanied by ample philosophical applications.Hyperintensionality concerns the individuation of non-extensional entities such as propositions and properties, relations-in-intension and individual roles, as well as, for instance, proofs and judgments and computational procedures, in case these do not reduce to any of (...) the former. Hyperintensional individuation is frequently also referred to as ‘fine-grained’ or sometimes simply ‘intensional’ individuation, when ‘intensional’ is not understood in the specific sense of possible-world semantics or in the pejorative sense of flouting various logical rules of extensional logic. A principle of individuation qualifies as hyperintensional as soon as it is finer than necessary .. (shrink)

There are many kinds of negation and denial. Perhaps the most common is the Boolean negation not that applies to propositions-in-extension, i.e. truth-values. The others are, inter alia, the property of propositions of not being true which applies to propositions; the complement function which applies to sets; privation which applies to properties; negation as failure applied in logic programming; negation as argumentation ad absurdum, and many others. The goal of this paper is neither to provide a complete list, nor to (...) analyse all of them. Rather, I am going to deal with negation of propositions that come attached with a presupposition that is entailed by the positive as well as negated form of a given proposition. However, there are two kinds of negation, namely internal and external negation. I am going to prove that while the former is presupposition-preserving, the latter is presupposition-denying. This issue has much in common with the difference between topic and focus articulation within a sentence. Whereas articulating the topic of a sentence activates a presupposition, articulating the focus frequently yields merely an entailment. The main contribution of this paper is the proof that the two kinds of negation are not equivalent. While the Russellian wide-scope (external) negation gets the truthconditions of a sentence right for a subject occurring as a focus, Strawsonian narrow-scope (internal) negation is validly applicable for a subject occurring as the topic. I also deal with other kinds of presupposition triggers, in particular factive attitudes and prerequisites of a given property. My background theory is Transparent Intensional Logic (TIL). TIL is an expressive logic apt for the analysis of sentences with presuppositions, because in TIL we work with partial functions, in particular with propositions with truth-value gaps. Moreover, the procedural semantics of TIL make it possible to uncover the hidden semantic features of sentences, make them explicit and logically tractable. (shrink)

In the paper I analyse Anselm’s ontological arguments in favour of God’s existence. The analysis is an explication and formalization of Pavel Tichý’s study‘Existence and God’, Journal of Philosophy, 1979. It is based on Transparent Intensional Logic with its bi-dimensional ontology of entities organized in the ramified hierarchy of types. The analysis goes as follows. First, necessary notions and principles are introduced. They are: (a) existence is not a (non-trivial) property of individuals, but of individual offices to be occupied by (...) an individual; (b) the notion of requisite is defined, which is a necessary relation between an office O and a property R: necessarily, if a happens to occupy O then a has the property R. (c) I demonstrate that an argument of the form “R is a requisite of O, hence the holder of O has the property R” is invalid. In order to be valid, it must be of the form “R is a requisite of O, the office O is occupied, hence the holder of O has the property R.” Finally, (d) higher-order offices that can be occupied by individual offices are defined. Their requisites are properties of individual offices. Then the analysis of Anselm’s arguments is presented. The expression ‘God’ denotes an individual office, a ‘thing to be’, rather than a particular individual. Thus the question whether God exists is a legitimate one. I analyze the expression ‘that, than which nothing greater can be conceived’. Since ‘greater than’ is a relation-in-intension between individual offices here, the expression denotes a second-order office, and its requisites are properties of first-order offices suchas necessary existence. The second of Anselm’s assumptions is that individual office that has the property of necessary existence is greater than any other office lacking this property. From these it follows that the first-order holder of the office denoted by ‘that, than which nothing greater can be conceived’ (that is God) enjoys the property of necessary existence. Thus God exists necessarily, hence also actually. Anselm’s argument is logically valid. If it were also sound, then an atheist would differ from a believer only by the former not believing whereas the latter believing in a tautology, which is absurd. Yet we may doubt the validity of Anselm’s assumption that a necessary existence makes an office greater than any other office lacking this property. (shrink)

Zeno's paradox as it appears in Aristotle's Physics, Book VI, chapter 9. 239b 15-30.

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional contexts.) One (...) rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions. (shrink)

This paper examines different kinds of definite descriptions denoting purely contingent, necessary or impossible objects. The discourse about contingent/impossible/necessary objects can be organised in terms of rational questions to ask and answer relative to the modal profile of the entity in question. There are also limits on what it is rational to know about entities with this or that modal profile. We will also examine epistemic modalities; they are the kind of necessity and possibility that is determined by _epistemic_ constraints (...) related to knowledge or rationality. Definite descriptions denote so-called _offices_, roles, or _things to be._ We explicate these α-offices as partial functions from possible worlds to chronologies of objects of type α, where α is mostly the type of individuals. Our starting point is Prior’s distinction between a ‘weak’ and ‘strong’ definite article ‘the’. In both cases, the definite description refers to at most one object; yet, in the case of the weak ‘the’, the referred object can change over time, while in the case of the strong ‘the’, the object referred to by the definite description is the same forever, once the office has been occupied. The main result we present is the way how to obtain a Wh-knowledge about who or what plays a given role presented by a hyper-office, i.e. _procedure_ producing an office. Another no less important result concerns the epistemic necessity of the impossibility of knowing who or what occupies the impossible office presented by a hyper-office. (shrink)

The goal of this paper is a philosophical explication and logical rectification of the notion of concept. We take into account only those contexts that are relevant from the logical point of view. It means that we are not interested in contexts characteristic of cognitive sciences, particularly of psychology, where concepts are conceived of as some kind of mental objects or representations. After a brief recapitulation of various theories of concept, in particular Frege’s and Church’s ones, we propose our own (...) theory based on procedural semantics of Transparent Intensional Logic (TIL) and explicate concept in terms of the key notion of TIL, namely construction viewed as an abstract, algorithmically structured procedure. (shrink)

The Decalogue is the ten commandments which are a covenant between God and His people. Written on two tablets of stone, this Decalogue is apodictive (unconditional command and prohibition). It expresses the love between God and His people and between members of the people. This article shows that in the Pentateuch there are two versions of the Decalogue (Ex. 20:1-17 and Deut. 5:6-21) with some differences between them. Deuteronomy 5:6-21 contains additions to Exodus 20:1-17. Ex. 20:1-17 was spoken by God (...) himself to the Israelites at Mount Sinai; Deut. 5:6-21 by Moses in the plains of Moab when quoting Ex. 20:1-17. The commandment to keep the Sabbath day holy in Ex. 20:8-11 is motivated by God’s rest on the seventh day of creation; in Deut. 5:12-15 it is motivated by Israel’s liberation from slavery in the land of Egypt. Ex. 20:13-17 contains fi ve social commandments in no apparent order; Deut. 5:17-21 contains six social commandments inparallel arrangement. The Decalogue, as a law does not guarantee its implementation. And the Israelites repeatedly violated or disobeyed the law. Therefore, God Himself takes the initiative and intervenes toensure its implementation. After the destruction of the city of Jerusalem as an outward sign of the end of the Old Covenant, the prophet Jeremiah prophesied the New Covenant at the initiative of God to bewritten in the hearts, so that previously impossible loyalty would now become a reality (Jer. 31:31-34). Thus, the New Covenant is not different from the Sinai Covenant, but rather a renewal of YHWH’s faithfulnesswhich is rebuilt and deepened continuously so that it becomes a “covenant without end” (Lam. 3:22-23). Abstrak Dekalog adalah sepuluh fi rman yang merupakan pernjanjian antara Allah dengan umat-Nya, tertulis dalam dua loh batu. Dekalog yang bersifat apodiktif (perintah dan larangan tanpa syarat) mengungkapkankasih antara Allah dengan umat-Nya dan antarumat Allah. Artikel ini menunjukkan bahwa dalam Pentateukh terdapat dua versi Dekalog (Kel. 20:1-17 dan Ul. 5:6-21) dengan beberapa perbedaan. Ul. 5:6-21 memuat beberapa tambahan yang tidak terdapat dalam Kel. 20:1-17. Kel. 20:1-17 diucapkan sendiri oleh YHWH kepada bangsa Israel di gunung Sinai; Ul. 5:6-21 diucapkan oleh Musa di dataran Moab dengan mengutip isi Kel. 20:1-17. Perintah kuduskanlah hari Sabat dalam Kel. 20:8-11 bermotifkan istirahat Allah pada hari ketujuh saat penciptaan; dalam Ul. 5:12-15 bermotifkan pembebasan bangsa Israel dari perbudakan di tanah Mesir. Kel. 20:13-17 memuat lima perintah sosial tanpa urutan yang jelas; Ul. 5:17-21 memuat enam perintah sosial yang disusun paralel. Dekalog sebagai undang-undang tidak menjamin pelaksanaannya. Berulangkali bangsa Israel telah melanggar atau tidak setia pada penjanjian tersebut. Maka, Allah sendiri yang berinisiatif dan campur tangan demi terjaminnya pelaksanaan perjanjian-Nya. Sesudah penghancuran kota Yerusalem sebagai tanda lahiriah berakhirnya Perjanjian Lama, Nabi Yeremia menubuatkan Perjanjian Yang Baru atas prakarsa Allah yang akan ditulis dalam hati manusia, sehingga kesetiaan yang tadinya mustahil akan menjadi kenyataan (Yer. 31:31-34). Dengan demikian Perjanjian Yang Baru itu tidak berbeda dengan Perjanjian Sinai, tetapi lebih berupa pembaruan kesetiaan YHWH yang dibangun kembali dan diperdalam terus-menerus sehingga menjadi “perjanjian yang tak berkesudahan” (Rat. 3:22-23). (shrink)

The author describes a team taught (philosophy/agriculture) professional ethics in agriculture course at Cal Poly, San Luis Obispo. He shows how the teaching, student selection (half agriculture, half non-agriculture), topic selection and class projects (mock public forums on critical issues aimed at achieving a public consensus) were chosen to achieve one main goal, a professional ethics aimed at public service. A second goal, public awareness of the legitimate needs of agriculture, is pursued simultaneously.The public-good orientation of this model of professional (...) ethics is distinguished from the frequent professional-defensive role found in other fields. The author indicates that agriculture's need for publicly effective and credible leadership makes the older defensive models useless today as well as wrong, given the common-good goals of ethics.A short list of goals of agriculture is proposed: sufficient, sustainable and healthy food/fiber supplies by means which respect the dignity of all participants. From these goals it is claimed that consensus “first principles” of agricultural ethics can be constructed. More fundamental first principles, such as the golden rule, are given their appropriate role.From these some simple criteria for the problem solving efforts of the students are suggested: broad consideration of technical and human impacts (no dismissal of impacts as “externalities”), awareness of the need for technical information, consideration of risk-reducing alternative tools or policies, and fair, humane and consistent risk/benefit analysis.The author concludes with a description of the impact on students, the importance of the role model of agriculture teachers in the course with the resultant importance of the team-taught format, and the need for special administrative support to attain the goals of the course. (shrink)

This article provides Catholic authorities with a useful framework for forming prudent and just policies to minimize clerical child sexual abuse, exploiting the 2011 John Jay College report Causes and Context while not ignoring its shortcomings. The framework is St. Thomas Aquinas’s treatment of prudence, and a “profile” of the clerical perpetrators is developed that uses their narcissism as a middle term to explain why these men behaved the way they did. The author concludes by recommending a deterrent policy similar (...) to the policy advocated by St. Paul, which does not unrealistically aim at an angelic clergy but aims to deter those who would enter the priesthood for its benefits. National Catholic Bioethics Quarterly 13.2 (Summer 2013): 299–311. (shrink)

The Kantian idea that some judgments are synthetic even in the area of a priori judgments cannot be accepted in its original version, but a modification of the notions analytic' and 'synthetic' discovers a rational core of that idea. The new definition of 'analytic' concerns concepts and makes it possible to distinguish between analytic concepts, which are effective ways of computing recursive functions, and synthetic concepts, which either define non-recursive functions, or define recursive functions in an ineffective way. To justify (...) this claim we have to construe concepts as abstract procedures not reducible to set-theoretical entities. (shrink)

Tichý’s Transparent Intensional Logic (TIL) is an overarching logical framework apt for the analysis of all sorts of discourse, whether colloquial, scientific, mathematical or logical. The theory is a procedural (as opposed to denotational) one, according to which the meaning of an expression is an abstract, extra-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure that is the object denoted by the expression. Such procedures are rigorously defined as (...) TIL constructions. Though TIL analytical potential is very large, deduction in TIL has been rather neglected. Tichý defined a sequent calculus for pre-1988 TIL, that is TIL based on the simple theory of types. Since then no other attempt to define a proof calculus for TIL has been presented. The goal of this paper is to propose a generalization and adjustment of Tichý’s calculus to TIL 2010. First, I briefly recapitulate the rules of simple-typed calculus as presented by Tichý. Then, I propose the adjustments of the calculus so that it be applicable to hyperintensions within the ramified hierarchy of types. TIL operates with a single procedural semantics for all kinds of logical-semantic context, be it extensional, intensional or hyperintensional. I show that operating in a hyperintensional context is far from being technically trivial. Yet, it is feasible. To this end, we introduce a substitution method that operates on hyperintensions. It makes use of a four-place substitution function (called Sub) defined over hyperintensions. (shrink)

[The informativeness of mathematical or analytically true statements and the paradox of inference].

In the paper we offer a logical explication of the frequently used, but rather vague, notion of point of view. We show that the concept of point of view prevents certain paradoxes from arising. A point of view is a means of partial characterisation of something. Thus nothing is a P and at the same time a non-P, because it is a P only relative to some point of view and a non-P from another point of view. But there is (...) a major, complicating factor involved in applying a logical method that is supposed to provide a formal and rigorous counterpart of the intuitively understood notion: ‘point of view’ is a homony-mous expression, and so there is not just one meaning that would explain points of view. Yet we propose a common scheme of the logical type of the entities denoted by the term ‘point of view’. It is an empirical function: when applied to the viewed object in question, it results in a evaluating proposition about the object. If there is an agent applying the criterion, the result is the agent’s attitude to the respective object. The paper is organised into two parts. In Part I we first adduce and analyse various examples of typical cases of applying a point of view to prevent paradox. These cases are examined according to the type of the viewed object: a) the viewed object is an individual and b) the viewed object is a property or an office. In Part II we then show that the method described in Part I can be applied also to the analyses of agents’ attitudes. We thus explain how an agent can believe of something that it is a P and at the same time a non-P: the agent applies different viewpoint criteria to the viewed object. The inversion of perspective consisting in the perspective shifting from the believer on to the reporter in the case of attitudes de re, and from the reporter to the believer in the case of attitudes de dicto, is also analyzed. We show that there is no smooth logical traffic back and forth between such attitudes and prove that they are not equivalent. By way of conclusion, we explicate the notion of conceptual point of view and analyze cases of viewpoints given by conceptual distinction. We show, finally, that the proposed scheme of the type of point of view can be preserved, this time, however, in its extensional version. (shrink)

In 1905 Bertrand Russell took on the problem of definite descriptions, and his analysis became the standard up until 1950 when Peter Strawson criticised Russell’s solution as inadequate. Since then many opponents as well as proponents of the Russellian solution have been involved in a long-term debate on definite descriptions. In this paper I show that both sides of the contention are partly right and partly wrong, because sentences of the form “The F is a G” are ambiguous. However, the (...) ambiguity does not concern reference shift of the description ‘the F’. Rather, the ambiguity consists in different topic-focus articulations of a given sentence involving occurrences of ‘the F’. I demonstrate that when ‘the F’ is used as part of the topic of such a sentence the existence of the object denoted by ‘the F’ is not only entailed by but also presupposed by the sentence. On the other hand, ‘the F’ used in the focus of a sentence triggers merely existential entailment. Thus sentences differing only in their topic-focus articulation should have assigned different logical forms. In order to make such hidden features explicit, I apply the procedural semantics of Transparent Intensional Logic , furnishing sentences with hyperpropositions that are precisely defined in terms of TIL constructions. These are procedures assigned to sentences as their context-invariant structured meanings. Moreover, I generalise the phenomenon of the topic-focus distinction to sentences of any form, proposing an adequate analytic schema of sentences that come with a presupposition. (shrink)

We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensional Logic. Hyperpropositions are sentential meanings and attitude complements individuated more finely than up to logical equivalence. A hyperpropositional context de dicto is a context in which only co-hyperintensional propositions can be validly substituted. A de dicto attitude ascription is one that preserves the attributee’s perspective when one complement is substituted for another. Being an extensional logic of hyperintensions, Transparent Intensional Logic validates all the rules of extensional (...) logic, including existential quantification. Yet the rules become more exacting when applied to hyperintensional contexts. The rules apply to only some types of entities, because the existence of only some types of entities is entailed by a hyperpropositional attitude de dicto. The insight that the paper offers is how a particular logic of hyperintensions is capable of validating quantifying-in in a principled and rigorous manner. This result advances the community-wide understanding of how to logically manipulate hyperintensions. (shrink)

The paper completes a “serial” of my contributions to the hot problems of current semantics, i.e. propositional / notional attitudes, de dicto / de re, synonymy, homonymy, equivalence, meaning, sense, denotation, reference. Two kinds of believing, knowing, etc. are distinguished, namely implicit believing of an ideal believer and explicit believing of a logical / mathematical ignorant . A special case of a week, hidden homonymy is considered and we show that when claiming two expressions being synonymous we have to be (...) careful, for a more fine-grained analysis may reveal that there is a semantic difference between them. The distinction between de dicto / de re supposition is defined and a special case of ‘existence’ being de dicto / de re is solved. (shrink)